J. Esparza, P. Ganty, J. Leroux, und R. Majumdar. FSTTCS, Volume 65 von LIPIcs, Seite 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)
M. Lochau, S. Mennicke, H. Baller, und L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Volume 8802 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)