Technische universität dortmund fakultät für informatik informatik 12 FSMs & message passing: SDL Peter Marwedel TU Dortmund, Informatik 12 2012 10 30.
