Abstract State Machine Semantics of SDL. - Uwe Glässer; Rene Karges (J. Univers. Comput. Sci., 1997)