K. Lüttich, B. Krieg-Brückner, und T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, Seite 109-119. (2004)
A. Bhagat, B. Sayankar, und P. Agrawal. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (2):
545--548(Februar 2015)