Q. M. Tan Alexandre Petrenko Gregor von Bochmann Modeling basic LOTOS by FSMs for conformance testing. 137-152 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#TanPB95