A Method for Verifying Properties of Modechart Specifications.

Farnam Jahanian Douglas A. Stuart A Method for Verifying Properties of Modechart Specifications. 12-21 1988 conf/rtss/1988 RTSS db/conf/rtss/rtss1988.html#JahaniantS88