Henzinger, T. A., Jhala, R., Majumdar, R., &; Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop  (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer.https://doi.org/10.1007/3-540-44829-2_17