@book(misra1,
 author       = {Motor Industry Software Reliability Association},
 year         = {1998},
 title        = {{Guidelines for the Use of the C Language in Vehicle Based Software}},
 publisher    = {Motor Industry Research Association},
)
@inproceedings(banerjee14,
 author       = {Ayan Banerjee and Sandeep K. S. Gupta},
 year         = {2014},
 title        = {Model Based Code Generation for Medical Cyber Physical Systems},
 booktitle    = {1st Workshop on Mobile Medical Applications (MMA '14)},
 pages        = {22--27},
 doi          = {10.1145/2676431.2676646},
)
@techreport(beine04,
 author       = {M. Beine and R. Otterbach and M. Jungmann},
 year         = {2004},
 title        = {Development of safety-critical software using automatic code generation},
 type         = {Technical Report},
 institution  = {SAE Technical Papers},
 doi          = {10.4271/2004-01-0708},
)
@inproceedings(GLSVLSI,
 author       = {C. Bernardeschi and L. Cassano and A. Domenici and L. Sterpone},
 year         = {2013},
 title        = {{Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs}},
 booktitle    = {Proc. of the 23rd ACM Great Lakes Symposium on VLSI},
 series       = {GLSVLSI '13},
 pages        = {7--12},
 doi          = {10.1145/2483028.2483050},
)
@inbook(Bernardeschi2008,
 author       = {Cinzia Bernardeschi and Paolo Masci and Holger Pfeifer},
 year         = {2008},
 title        = {Early Prototyping of Wireless Sensor Network Algorithms in PVS},
 pages        = {346--359},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-87698-4\_29},
)
@inproceedings(Bowen11,
 author       = {J. Bowen and A. Hinze},
 year         = {2011},
 title        = {Supporting Mobile Application Development with Model-Driven Emulation},
 booktitle    = {Formal Methods for Interactive Systems 2011},
 series       = {Electr. Comm. EASST},
 volume       = {45},
 doi          = {10.14279/tuj.eceasst.45.634},
)
@inproceedings(Bowen12,
 author       = {J. Bowen and S. Reeves},
 year         = {2012},
 title        = {Modelling User Manuals of Modal Medical Devices and Learning from the Experience},
 booktitle    = {4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '12)},
 pages        = {121--130},
 doi          = {10.1145/2305484.2305505},
)
@inproceedings(bowen2015design,
 author       = {J. Bowen and S. Reeves},
 year         = {2015},
 title        = {Design Patterns for Models of Interactive Systems},
 booktitle    = {24th Australasian Software Engineering Conference (ASWEC)},
 organization = {IEEE},
 pages        = {223--232},
 doi          = {10.1109/ASWEC.2015.30},
)
@article(Bowen07,
 author       = {A. Cerone and P. Curzon and J. Bowen and S. Reeves},
 year         = {2007},
 title        = {{Formal Models for Informal GUI Designs}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {183},
 pages        = {57--72},
 doi          = {10.1016/j.entcs.2007.01.061},
)
@incollection(chang10,
 author       = {Guiran Chang and Chunguang Tan and Guanhua Li and Chuan Zhu},
 year         = {2010},
 title        = {Developing Mobile Applications on the Android Platform},
 booktitle    = {Mobile Multimedia Processing},
 pages        = {264--286},
 doi          = {10.1007/978-3-642-12349-8\_15},
)
@techreport(erkkinen07,
 author       = {T. Erkkinen and M. Conrad},
 year         = {2007},
 title        = {Safety-critical software development using automatic production code generation},
 type         = {Technical Report},
 institution  = {SAE Technical Papers},
 doi          = {10.4271/2007-01-1493},
)
@book(fitzgerald05,
 author       = {J. Fitzgerald and P. G. Larsen and P. Mukherjee and N. Plat and M. Verhoef},
 year         = {2005},
 title        = {Validated Designs For Object-oriented Systems},
 publisher    = {Springer-Verlag TELOS},
 address      = {Santa Clara, CA, USA},
)
@inproceedings(Foley94,
 author       = {J. D. Foley and Noi Sukaviriya, P.},
 year         = {1994},
 title        = {{History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation}},
 booktitle    = {Proceedings of Design, Verification and Specification of Interactive Systems (DSVIS'94)},
 pages        = {3--14},
 doi          = {10.1007/978-3-642-87115-3\_1},
)
@misc(handlebars,
 year         = {2016},
 title        = {{Handlebars Semantic Template}},
 url          = {http://handlebarsjs.com},
)
@article(harrison2015reusing,
 author       = {M. D. Harrison and J. C. Campos and P. Masci},
 year         = {2015},
 title        = {Reusing models and properties in the analysis of similar interactive devices},
 journal      = {Innovations in Systems and Software Engineering},
 volume       = {11},
 number       = {2},
 pages        = {95--111},
 doi          = {10.1007/s11334-013-0201-3},
)
@inproceedings(Harrison16,
 author       = {MD. Harrison and JC. Campos and R. Rimvydas and P. Curzon},
 year         = {2016},
 title        = {Modelling information resources and their salience in medical device design},
 booktitle    = {8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16)},
 doi          = {10.1145/2933242.2933250},
)
@article(Harrison01,
 author       = {Campos JC and Harrison MD},
 year         = {2001},
 title        = {Model checking interactor specifications},
 journal      = {Automated Software Engineering},
 volume       = {8},
 number       = {3--4},
 pages        = {5275--310},
 doi          = {10.1023/A:1011265604021},
)
@misc(JNI,
 year         = {2016},
 title        = {{Java Native Interface}},
 note         = {\url{http://docs.oracle.com/javase/8/docs/technotes/guides/jni/}},
)
@inproceedings(Harrison13,
 author       = {P. Masci and A. Ayoud and P. Curzon and MD. Harrison and I. Lee and H. Thimbleby},
 year         = {2013},
 title        = {{Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example}},
 booktitle    = {5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (EICS '13)},
 doi          = {10.1145/2494603.2480302},
)
@inproceedings(masci-verisure2015,
 author       = {P. Masci and P. Mallozzi and {De Angelis}, F. L. and {Di Marzo Serugendo}, G. and P. Curzon},
 year         = {2015},
 title        = {{Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments}},
 booktitle    = {Verisure2015, Workshop on Verification and Assurance, co-located with CAV2015},
)
@inproceedings(masciFHIES:14,
 author       = {P. Masci and P. Oladimeji and P. Curzon and H. Thimbleby},
 year         = {2014},
 title        = {{Tool demo: Using PVSio-web to demonstrate software issues in medical user interfaces}},
 booktitle    = {4th International Symposium on Foundations of Healthcare Information Engineering and Systems (FHIES2014)},
)
@inproceedings(masci-CAV2015,
 author       = {P. Masci and P. Oladimeji and P. Curzon and H. Thimbleby},
 year         = {2015},
 title        = {{PVSio-web 2.0: Joining PVS to Human-Computer Interaction}},
 booktitle    = {27th International Conference on Computer Aided Verification (CAV2015)},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-21690-4\_30},
 note         = {Tool and application examples available at http://www.pvsioweb.org},
)
@inproceedings(masci:NFM2014,
 author       = {P. Masci and Yi Zhang and P. Jones and P. Oladimeji and E. D'Urso and C. Bernardeschi and P. Curzon and H. Thimbleby},
 year         = {2014},
 title        = {{Combining PVSio with Stateflow}},
 booktitle    = {6th NASA Formal Methods Symposium (NFM2014)},
 doi          = {10.1007/978-3-319-06200-6\_16},
)
@techreport(munoz03,
 author       = {Mu{\~n}oz, C.},
 year         = {2003},
 title        = {{Rapid prototyping in PVS}},
 type         = {Technical Report},
 number       = {NIA 2003-03, NASA/CR-2003-212418},
 institution  = {National Institute of Aerospace},
 address      = {Hampton, VA, USA},
)
@misc(NDK,
 year         = {2016},
 title        = {{NDK}},
 url          = {http://developer.android.com/ndk},
)
@inproceedings(fmis2013-pvsioweb,
 author       = {P. Oladimeji and P. Masci and P. Curzon and H. Thimbleby},
 year         = {2013},
 title        = {{PVSio-web: a tool for rapid prototyping device user interfaces in PVS}},
 booktitle    = {FMIS2013, 5th International Workshop on Formal Methods for Interactive Systems},
 doi          = {10.14279/tuj.eceasst.69.963},
)
@inproceedings(Owre:1992,
 author       = {S. Owre and J. M. Rushby and N. Shankar},
 year         = {1992},
 title        = {{PVS: A Prototype Verification System}},
 booktitle    = {Automated Deduction---CADE-11: 11th International Conference on Automated Deduction},
 pages        = {748--752},
 doi          = {10.1007/3-540-55602-8\_217},
)
@article(pajic14,
 author       = {M. Pajic and Zhihao Jiang and Insup Lee and O. Sokolsky and R. Mangharam},
 year         = {2014},
 title        = {Safety-critical Medical Device Development Using the {UPP2SF} Model Translation Tool},
 journal      = {ACM Trans. Embed. Comput. Syst.},
 volume       = {13},
 number       = {4s},
 pages        = {127:1--127:26},
 doi          = {10.1145/2584651},
)
@article(Paterno09,
 author       = {F. Patern{\`o} and C. Santoro and L. D. Spano},
 year         = {2009},
 title        = {{MARIA: A Universal, Declarative, Multiple Abstraction-level Language for Service-oriented Applications in Ubiquitous Environments}},
 journal      = {ACM Trans. Comput.-Hum. Interact.},
 volume       = {16},
 number       = {4},
 pages        = {19:1--19:30},
 doi          = {10.1145/1614390.1614394},
)
@book(smullyan95,
 author       = {Raymond Merrill Smullyan},
 year         = {1995},
 title        = {First-order logic},
 publisher    = {Dover publications},
 address      = {New York},
)
@incollection(srivas97,
 author       = {Mandayam Srivas and Rue{\ss}, Harald and David Cyrluk},
 year         = {1997},
 title        = {Hardware Verification Using {PVS}},
 editor       = {Thomas Kropf},
 booktitle    = {Formal Hardware Verification: Methods and Systems in Comparison},
 series       = {Lecture Notes in Computer Science},
 volume       = {1287},
 publisher    = {Springer-Verlag},
 pages        = {156--205},
 doi          = {10.1007/3-540-63475-4\_4},
)