An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying Liu Masashi Asuka Kiyotoshi Komaya Yasuaki Nakamura An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. 100-114 1998 conf/iceccs/1998 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.1998.706660 db/conf/iceccs/iceccs1998.html#LiuAKN98