Entwurfsorientierte Modellierung eingebetteter Systeme - Rappl, Martin (Software engineering, 2004)