1Lakhneck C.Petersolm.On Formal Semantics of Statecharts as Supported by STATE.MATE[].BCSFACS Northern Formal Methods Workshop.2007
2H.Y.Chen,T.H.Tse,T.Y.Chen.TACCLE:a methodology for objected oriented software testing at the class and cluster levels[].ACM Transactions onSoftware Engineering and Methodology.2009