@article(ACK12,
 author       = "{\'E}tienne Andr{\'e} and Christine Choppy and Kais Klai",
 year         = "2012",
 title        = "Formalizing non-concurrent {UML} state machines using colored {P}etri nets",
 journal      = "ACM SIGSOFT Software Engineering Notes",
 volume       = "37",
 number       = "4",
 pages        = "1--8",
 url          = "http://doi.acm.org/10.1145/2237796.2237819",
 note         = "UML\&FM 2012",
)
@techreport(ATL06,
 author       = "ATLAS and LINA and INRIA",
 year         = "2006",
 title        = "{ATL} : Atlas Transformation Language user manual, version 0.7",
 type         = "Report",
)
@article(BR04,
 author       = "Purandar Bhaduri and Sethu Ramesh",
 year         = "2004",
 title        = "Model Checking of Statechart Models: Survey and Research Directions",
 journal      = "CoRR",
 volume       = "cs.SE/0407038",
 url          = "http://arxiv.org/abs/cs.SE/0407038",
)
@article(CKZ10,
 author       = "Christine Choppy and Kais Klai and Hacene Zidani",
 year         = "2011",
 title        = "Formal verification of {UML} state diagrams: A {P}etri net based approach",
 journal      = "SIGSOFT Software Engineering Notes",
 volume       = "36",
 pages        = "1--8",
 url          = "http://doi.acm.org/10.1145/1921532.1921561",
)
@book(Holzmann03,
 author       = "Gerard J. Holzmann",
 year         = "2003",
 title        = "The {SPIN} Model Checker: Primer and Reference Manual",
 publisher    = "Addison Wesley",
)
@book(JK09,
 author       = "Kurt Jensen and Lars Michael Kristensen",
 year         = "2009",
 title        = "Coloured Petri Nets -- Modelling and Validation of Concurrent Systems",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/b95112",
)
@article(LianHS08,
 author       = "Jiexin Lian and Zhaoxia Hu and Sol M. Shatz",
 year         = "2008",
 title        = "Simulation-based analysis of {UML} statechart diagrams: methods and case studies",
 journal      = "Software Quality Journal",
 volume       = "16",
 number       = "1",
 pages        = "45--78",
 url          = "http://dx.doi.org/10.1007/s11219-007-9020-9",
)
@inproceedings(LLACSWD13,
 author       = "Shuang Liu and Yang Liu and {\'E}tienne Andr\'e and Christine Choppy and Jun Sun and Bimlesh Wadhwa and Jin Song Dong",
 year         = "2013",
 title        = "A Formal Semantics for the Complete Syntax of {UML} State Machines with Communications",
 booktitle    = "{iFM}",
 series       = "Lecture Notes in Computer Science",
 volume       = "7940",
 publisher    = "Springer",
 pages        = "331--346",
 url          = "http://dx.doi.org/10.1007/978-3-642-38613-8_23",
)
@phdthesis(McMillan92,
 author       = "Kenneth L. McMillan",
 year         = "1992",
 title        = "Symbolic model checking: An approach to the state explosion problem",
 address      = "Pittsburgh, PA, USA",
)
@(UML241,
 author       = "OMG",
 year         = "2011",
 title        = "{OMG} Unified Modeling Language ({OMG UML}) Superstructure. Version 2.4.1, 2011-08-06.",
 url          = "http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/",
)
@inproceedings(PettitG06,
 author       = "Robert G. Pettit IV and Hassan Gomaa",
 year         = "2006",
 title        = "Modeling Behavioral Patterns of Concurrent Objects Using {Petri} Nets",
 booktitle    = "ISORC",
 publisher    = "IEEE Computer Society",
 pages        = "303--312",
 url          = "http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.55",
)
@inproceedings(Westergaard13,
 author       = "Michael Westergaard",
 year         = "2013",
 title        = "{CPN Tools 4}: Multi-formalism and Extensibility",
 booktitle    = "Petri Nets",
 series       = "Lecture Notes in Computer Science",
 volume       = "7927",
 publisher    = "Springer",
 pages        = "400--409",
 url          = "http://dx.doi.org/10.1007/978-3-642-38697-8_22",
)
@inproceedings(ZL10,
 author       = "Shaojie Zhang and Yang Liu",
 year         = "2010",
 title        = "An Automatic Approach to Model Checking {UML} State Machines",
 booktitle    = "SSIRI (Companion)",
 publisher    = "IEEE Computer Society",
 pages        = "1--6",
 url          = "http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.11",
)