J. Esparza, P. Ganty, J. Leroux, and R. Majumdar. FSTTCS, volume 65 of LIPIcs, page 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)
R. Bhushan, R. Yadav, and M.Sriram. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (3):
1476--1479(March 2015)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)