Schnieder, E.2022-03-022022-03-022011978-3-642-14260-4978-3-642-14261-1https://publica.fraunhofer.de/handle/publica/152176Formal methods for automation and safety in railway and automotive systems. FORMS/FORMAT 2010