Manfred Broy Franz Huber Barbara Paech Bernhard Rumpe Katharina Spies Software and System Modeling Based on a Unified Formal Semantics. 43-68 1997 conf/rtse/1997 Requirements Targeting Software and Systems Engineering db/conf/rtse/rtse1997.html#BroyHPRS97 http://dx.doi.org/10.1007/10692867_2