@article(AbrialBHHMV10,
 author       = "J.-R. Abrial and M. Butler and S. Hallerstede and T.S. Hoang and F. Mehta and L. Voisin",
 year         = "2010",
 title        = "Rodin: an open toolset for modelling and reasoning in {Event-B}",
 journal      = "STTT",
 volume       = "12",
 number       = "6",
 pages        = "447--466",
 doi          = "10.1007/s10009-010-0145-y",
)
@book(abrial2010modeling,
 author       = "J.R. Abrial",
 year         = "2010",
 title        = "{Modeling in Event-B: System and Software Engineering}",
 publisher    = "Cambridge Univ Pr",
 doi          = "10.1017/CBO9781139195881",
)
@inproceedings(DBLP:conf/hybrid/BengtssonLLPY95,
 author       = "Johan Bengtsson and Kim Guldstrand Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi",
 year         = "1995",
 title        = "UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems",
 editor       = "Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag",
 booktitle    = "Hybrid Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "1066",
 publisher    = "Springer",
 pages        = "232--243",
 doi          = "10.1007/BFb0020949",
)
@inproceedings(DBLP:conf/b/CansellMR07,
 author       = "Dominique Cansell and Dominique M{\'e}ry and Joris Rehm",
 year         = "2007",
 title        = "Time Constraint Patterns for Event B Development",
 editor       = "Jacques Julliand and Olga Kouchnarenko",
 booktitle    = "B",
 series       = "Lecture Notes in Computer Science",
 volume       = "4355",
 publisher    = "Springer",
 pages        = "140--154",
 doi          = "10.1007/11955757\_13",
)
@book(UML,
 author       = "I. Jacobson and G. Booch and J. Ramgaugh",
 year         = "1999",
 title        = "{The Unified Software Development Process}",
 publisher    = "Addison Wesley",
)
@inproceedings(DBLP:conf/ftrtft/KnappMR02,
 author       = "Alexander Knapp and Stephan Merz and Christopher Rauh",
 year         = "2002",
 title        = "Model Checking - Timed UML State Machines and Collaborations",
 editor       = "Werner Damm and Ernst-R{\"u}diger Olderog",
 booktitle    = "FTRTFT",
 series       = "Lecture Notes in Computer Science",
 volume       = "2469",
 publisher    = "Springer",
 pages        = "395--416",
 doi          = "10.1007/3-540-45739-9\_23",
)
@article(eps262886,
 author       = "M. Leuschel and M. Butler",
 year         = "2008",
 title        = "{ProB}: An Automated Analysis Toolset for the {B Method}",
 journal      = "Intl. J. on Software Tools for Technology Transfer",
 volume       = "10",
 number       = "2",
 pages        = "185--203",
 doi          = "10.1007/s10009-007-0063-9",
)
@article(mueller2001sss,
 author       = "W. Mueller and J. Ruf and D. Hofmann and J. Gerlach and T. Kropf and W. Rosenstiehl",
 year         = "2001",
 title        = "{The Simulation Semantics of SystemC}",
 journal      = "Proc. of DATE 2001",
 doi          = "10.1109/DATE.2001.915002",
)
@book(perry1994v,
 author       = "D.L. Perry",
 year         = "1994",
 title        = "{VHDL}",
 publisher    = "McGraw-Hill New York",
)
@inproceedings(Said:2009:LTS:1693345.1693393,
 author       = "Mar Yah Said and Michael Butler and Colin Snook",
 year         = "2009",
 title        = "Language and Tool Support for Class and State Machine Refinement in UML-B",
 booktitle    = "Proceedings of the 2nd World Congress on Formal Methods",
 series       = "FM '09",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "579--595",
 doi          = "10.1007/978-3-642-05089-3\_37",
)
@article(sarshogh11,
 author       = "Mohammad Reza Sarshogh and Michael Butler",
 year         = "2011",
 title        = "Specification and refinement of discrete timing properties in Event-B",
 journal      = "ECEASST",
 volume       = "46",
 url          = "http://journal.ub.tu-berlin.de/eceasst/article/view/701",
)
@article(snook2006ubf,
 author       = "C. Snook and M. Butler",
 year         = "2006",
 title        = "{UML-B: Formal modeling and design aided by UML}",
 journal      = "ACM Transactions on Software Engineering and Methodology (TOSEM)",
 volume       = "15",
 number       = "1",
 pages        = "92--122",
 doi          = "10.1145/1125808.1125811",
)
@book(thomas2002vrh,
 author       = "D.E. Thomas and P.R. Moorby",
 year         = "2002",
 title        = "{The Verilog (r) Hardware Description Language}",
 publisher    = "Kluwer Academic Publishers",
)
@inproceedings(DBLP:conf/wotug/Wickstrom07,
 author       = "Gregory L. Wickstrom",
 year         = "2007",
 title        = "Advanced System Simulation, Emulation and Test (ASSET)",
 booktitle    = "CPA",
 pages        = "443--464",
)