Jin Yang Aloysius K. Mok Douglas A. Stuart A new generation modechart verifie. 116-125 1995 conf/rtas/1995 IEEE Real Time Technology and Applications Symposium http://computer.org/proceedings/rtas/6980/69800116abs.htm db/conf/rtas/rtas1995.html#YangMS95