F. Werner, und D. Faragó. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Seite 115--131. Springer, (2010)
D. Faragó, und P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, Seite 50-67. Springer, (Juni 2009)
A. Faragó. Infoscale, Volume 18 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 26-45. Springer, (2009)
P. Farago, L. Barros, G. Cunha, L. Landau, und R. Costa. International Conference on Computational Science (1), Volume 3514 von Lecture Notes in Computer Science, Seite 727-734. Springer, (2005)