F. Werner, и D. Faragó. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, стр. 115--131. Springer, (2010)
P. Schmitt, и I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), стр. 47--58. IEEE Computer Society, (2007)