Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols. - Elke Heck; Dieter Hogrefe; Bruno Müller-Clostermann (IEEE Trans. Computers, 1991)

Performance evaluation of formally specified systems: the integration of SDL with HIT. - Elke Heck (Krehl, 1996)