@article(Derler2012,
 author       = {Patricia Derler and Edward A. Lee and Sangiovanni-Vincentelli, Alberto},
 year         = {2012},
 title        = {Modeling Cyber-Physical Systems},
 journal      = {Proceedings of the IEEE (special issue on CPS)},
 volume       = {100},
 number       = {1},
 pages        = {13 -- 28},
 url          = {http://dx.doi.org/10.1109/JPROC.2011.2160929},
)
@incollection(Gibson-Robinson2014,
 author       = {Gibson-Robinson, Thomas and Philip Armstrong and Alexandre Boulgakov and AndrewW. Roscoe},
 year         = {2014},
 title        = {{FDR3} -- A Modern Refinement Checker for {CSP}},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {8413},
 publisher    = {Springer},
 pages        = {187--201},
 url          = {http://dx.doi.org/10.1007/978-3-642-54862-8\_13},
)
@incollection(Hudon2013,
 author       = {Simon Hudon and ThaiSon Hoang},
 year         = {2013},
 title        = {Systems Design Guided by Progress Concerns},
 booktitle    = {Integrated Formal Methods},
 series       = {LNCS},
 volume       = {7940},
 publisher    = {Springer},
 pages        = {16--30},
 url          = {http://dx.doi.org/10.1007/978-3-642-38613-8\_2},
)
@incollection(Janicki1997,
 author       = {Ryszard Janicki and DavidLorge Parnas and Jeffery Zucker},
 year         = {1997},
 title        = {Tabular Representations in Relational Documents},
 booktitle    = {Relational Methods in Computer Science},
 series       = {Advances in Computing Sciences},
 publisher    = {Springer Vienna},
 pages        = {184--196},
 url          = {http://dx.doi.org/10.1007/978-3-7091-6510-2\_12},
)
@article(Larsen1997,
 author       = {Kim G.\ Larsen and Paul Pettersson and Wang Yi},
 year         = {1997},
 title        = {{UPPAAL in a Nutshell}},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {1},
 number       = {1--2},
 pages        = {134--152},
 url          = {http://dx.doi.org/10.1007/s100090050010},
)
@incollection(Ostroff2014,
 author       = {JonathanS. Ostroff and Chen-Wei Wang and Simon Hudon and Yang Liu and Jun Sun},
 year         = {2014},
 title        = {{TTM/PAT: Specifying and Verifying Timed Transition Models}},
 booktitle    = {FTSCS},
 series       = {Communications in Computer and Information Science},
 volume       = {419},
 publisher    = {Springer},
 pages        = {107--124},
 url          = {http://dx.doi.org/10.1007/978-3-319-05416-2\_8},
)
@book(Roscoe2010,
 author       = {A.W. Roscoe},
 year         = {2010},
 title        = {Understanding Concurrent Systems},
 edition      = {1st},
 publisher    = {Springer},
 url          = {http://dx.doi.org/10.1007/978-1-84882-258-0},
)
@article(Sun2013,
 author       = {Jun Sun and Yang Liu and Jin Song Dong and Yan Liu and Ling Shi and \'{E}tienne Andr{\'e}},
 year         = {2013},
 title        = {Modeling and verifying hierarchical real-time systems using stateful timed CSP},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {22},
 number       = {1},
 pages        = {3:1--3:29},
 url          = {http://dx.doi.org/10.1145/2430536.2430537},
)
@inproceedings(SunLDP09,
 author       = {Jun Sun and Yang Liu and Jin Song Dong and Jun Pang},
 year         = {2009},
 title        = {{PAT: Towards Flexible Verification under Fairness}},
 booktitle    = {CAV},
 series       = {LNCS 5643},
 pages        = {709 -- 714},
 url          = {http://dx.doi.org/10.1007/978-3-642-02658-4\_59},
)
@techreport(OWH14,
 author       = {C.-W. Wang and J. S. Ostroff and S. Hudon},
 year         = {2014},
 title        = {Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems},
 type         = {Tech Report},
 number       = {EECS-2014-03},
 institution  = {York University},
)
@article(Wassyng2006,
 author       = {A. Wassyng and M. Lawford},
 year         = {2006},
 title        = {Software tools for safety-critical software development},
 journal      = {STTT},
 volume       = {8},
 number       = {4-5},
 pages        = {337--354},
 url          = {http://dx.doi.org/10.1007/s10009-005-0209-6},
)
@inproceedings(Wassyng2005,
 author       = {A. Wassyng and M. Lawford and X. Hu},
 year         = {2005},
 title        = {Timing Tolerances in Safety-Critical Software},
 booktitle    = {FM},
 pages        = {157--172},
 url          = {http://dx.doi.org/10.1007/11526841\_12},
)