S. Tasiran, A. Sezgin, и S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
M. Talupur, и M. Tuttle. FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, стр. 1--8. Piscataway, NJ, USA, IEEE Press, (2008)