A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.

Christian Attiogbé Pascal Poizat Gwen Salaün A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. 157-170 2007 33 IEEE Trans. Software Eng. 3 http://dx.doi.org/10.1109/TSE.2007.21 db/journals/tse/tse33.html#AttiogbePS07