Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura. An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. In 4th International Conference on Engineering of Complex Computer Systems (ICECCS 98), 10-14 August 1998, Monterey, CA, USA. pages 100-114, IEEE Computer Society, 1998. [doi]
Abstract is missing.