Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme von Saeid Arabestani | ISBN 9783923325672