Bernd Grahlmann, Hans Fleischhack. Towards Compositional Verification of SDL Systems. In Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998. pages 404-414, IEEE Computer Society, 1998. [doi]
Abstract is missing.