Frage zu Artikel "UML-B Specification for Proven Embedded Systems.."