https://123dok.org/document/y4wk5kr0-formal-method-checking-laboratory-giuseppe-spallitta-giuseppe-spallitta.html