@misc(link:bqplot,
 title        = {bloomberg/bqplot: Plotting library for IPython/Jupyter Notebooks},
 url          = {https://github.com/bloomberg/bqplot},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:fuzz,
 title        = {Fuzz typechecker for Z},
 url          = {http://spivey.oriel.ox.ac.uk/corner/Fuzz},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:literate-haskell,
 title        = {The Haskell 98 Report: Literate Comments},
 url          = {https://www.haskell.org/onlinereport/literate.html},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:javadoc,
 title        = {How to Write Doc Comments for the Javadoc Tool},
 url          = {http://www.oracle.com/technetwork/java/javase/documentation/index-137868.html},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:pstate-jupyter-exporter,
 title        = {Jupyter Notebook EPTCS Style Exporter},
 url          = {https://gitlab.cas.mcmaster.ca/parksj6/pstate-jupyter-eptcs-exporter},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:ipywidgets,
 title        = {jupyter-widgets/ipywidgets: Interactive widgets for the Jupyter Notebook},
 url          = {https://github.com/jupyter-widgets/ipywidgets},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:jupyterlab,
 title        = {jupyterlab/jupyterlab: JupyterLab computational environment},
 url          = {https://github.com/jupyterlab/jupyterlab},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:matplotlib,
 title        = {matplotlib/jupyter-matplotlib: Matplotlib Jupyter Extension},
 url          = {https://github.com/matplotlib/jupyter-matplotlib},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:pstate-jupyter-sub-notebook,
 title        = {A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper) - Source Notebook},
 url          = {https://gitlab.cas.mcmaster.ca/lime/pstate-jupyter/blob/master/docs/submission.ipynb},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:maple,
 title        = {Overview of Basic Features - Maple Programming Help},
 url          = {https://www.maplesoft.com/support/help/Maple/view.aspx?path=worksheet},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:jupyter,
 title        = {Project Jupyter},
 url          = {http://jupyter.org/},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:react,
 title        = {React - A JavaScript library for building user interfaces},
 url          = {https://reactjs.org/},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:redux,
 title        = {Redux},
 url          = {https://redux.js.org/},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:typescript,
 title        = {TypeScript - JavaScript that scales},
 url          = {https://www.typescriptlang.org/},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:ulixos,
 title        = {Ulix OS -- The Literate Operating System},
 url          = {http://ulixos.org/},
 note         = {[Online; accessed 25-May-2018]},
)
@misc(link:mathematica,
 title        = {Wolfram Language \& System Documentation Center},
 url          = {http://reference.wolfram.com/language/#NotebookDocumentsAndPresentation},
 note         = {[Online; accessed 25-May-2018]},
)
@inproceedings(Dutertre14Yices,
 author       = {Bruno Dutertre},
 year         = {2014},
 title        = {Yices 2.2},
 editor       = {Armin Biere and Roderick Bloem},
 booktitle    = {Computer-Aided Verification (CAV'2014)},
 series       = {Lecture Notes in Computer Science},
 volume       = {8559},
 publisher    = {Springer},
 pages        = {737--744},
 doi          = {10.1007/978-3-319-08867-9_49},
 url          = {http://yices.csl.sri.com/},
)
@book(FraserHanson95RetargetableCCompiler,
 author       = {Christopher W. Fraser and David R. Hanson},
 year         = {1995},
 title        = {A Retargetable C Compiler: Design and Implementation},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
 url          = {http://sites.google.com/site/lccretargetablecompiler/},
)
@inproceedings(KakoulisTollis1997LabelingEdges,
 author       = {Konstantinos G. Kakoulis and Ioannis G. Tollis},
 year         = {1997},
 title        = {An algorithm for labeling edges of hierarchical drawings},
 editor       = {Giuseppe DiBattista},
 booktitle    = {Graph Drawing},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {169--180},
 doi          = {10.1007/3-540-63938-1_60},
)
@book(Klein13StreamCiphers,
 author       = {Andreas Klein},
 year         = {2013},
 title        = {Stream Ciphers},
 publisher    = {Springer},
 address      = {London},
 doi          = {10.1007/978-1-4471-5079-4},
)
@incollection(KluyverEtAl16Jupyter,
 author       = {Thomas Kluyver and Ragan-Kelley, Benjamin and Fernando P{\'e}rez and Brian E Granger and Matthias Bussonnier and Jonathan Frederic and Kyle Kelley and Jessica B Hamrick and Jason Grout and Sylvain Corlay},
 year         = {2016},
 title        = {Jupyter Notebooks-a publishing format for reproducible computational workflows.},
 editor       = {F. Loizides and B. Schmidt},
 booktitle    = {Positioning and Power in Academic Publishing: Players, Agents and Agendas},
 publisher    = {IOS Press},
 pages        = {87--90},
 doi          = {10.3233/978-1-61499-649-1-87},
)
@article(Knuth84LiterateProgramming,
 author       = {Donald E. Knuth},
 year         = {1984},
 title        = {Literate programming},
 journal      = {Computer Journal},
 volume       = {27},
 number       = {2},
 pages        = {97--111},
 doi          = {10.1093/comjnl/27.2.97},
)
@book(Knuth86TypesettingB,
 author       = {Donald E. Knuth},
 year         = {1986},
 title        = {Computers and Typesetting},
 volume       = {Volume B: TeX: The Program},
 publisher    = {Addison-Wesley Professional},
)
@inproceedings(KwiatkowskaNormanParker11PRISM4,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2011},
 title        = {PRISM 4.0: Verification of Probabilistic Real-Time Systems},
 editor       = {Ganesh Gopalakrishnan and Shaz Qadeer},
 booktitle    = {Computer Aided Verification},
 series       = {Lecture Notes in Computer Science},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1_47},
)
@techreport(Nedialkov06VNODELP,
 author       = {Nedialko S. Nedialkov},
 year         = {2006},
 title        = {{VNODE-LP --- A Validated Solver for Initial Value Problems in Ordinary Differential Equations}},
 type         = {Technical Report},
 number       = {CAS-06-06-NN},
 institution  = {Department of Computing and Software, McMaster University},
 address      = {Hamilton, Ontario, Canada},
 url          = {http://www.cas.mcmaster.ca/~nedialk/vnodelp/doc/vnode.pdf},
)
@phdthesis(Nokovic16HighLevelModels,
 author       = {Bojan Nokovic},
 year         = {2016},
 title        = {Verification and Implementation of Embedded Systems from High-Level Models},
 type         = {{Ph.D. Thesis}},
 school       = {McMaster University},
 address      = {Hamilton, Ontario, Canada},
)
@inproceedings(NokovicSekerinski13pState,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2013},
 title        = {{pState}: A Probabilistic Statecharts Translator},
 editor       = {Radovan Stojanovi{\'c} and Lech J{\'o}{\'z}wiak and Budimir Lutovac},
 booktitle    = {Embedded Computing (MECO), 2nd Mediterranean Conference on},
 publisher    = {IEEE Press},
 pages        = {29--32},
 doi          = {10.1109/MECO.2013.6601339},
)
@inproceedings(NokovicSekerinski14TimedpCharts,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2014},
 title        = {Verification and Code Generation for Timed Transitions in {pCharts}},
 editor       = {Bipin C. Desai},
 booktitle    = {C3S2E '14: Proceedings of the 2014 International C* Conference on Computer Science \& Software Engineering},
 publisher    = {ACM},
 pages        = {3:1--3:10},
 doi          = {10.1145/2641483.2641522},
)
@inproceedings(NokovicSekerinski15HolisticEmbeddedSystem,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2015},
 title        = {A Holistic Approach in Embedded System Development},
 editor       = {Catherine Dubois and Paolo Masci and Dominique M\'ery},
 booktitle    = {Proceedings Second International Workshop on Formal Integrated Development Environment},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {187},
 publisher    = {Open Publishing Association},
 pages        = {72--85},
 doi          = {10.4204/EPTCS.187.6},
 url          = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2015.6},
)
@inproceedings(NokovicSekerinski15WCETinvariants,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2015},
 title        = {Model-based {WCET} Analysis with Invariants},
 editor       = {Gudmund Grov and Andrew Ireland},
 booktitle    = {Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, AVoCS 2015},
 series       = {Electronic Communications of the EASST},
 volume       = {72},
 publisher    = {European Association of Software Science and Technology},
 pages        = {1--15},
 doi          = {10.14279/tuj.eceasst.72.1026},
)
@inproceedings(NokovicSekerinski16GreatLakes,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2016},
 title        = {Automatic Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring},
 editor       = {Benny Mandler and Marquez-Barja, Johann and Mitre Campista, Miguel Elias and Cag{\'a}{\v{n}}ov{\'a}, Dagmar and Hakima Chaouchi and Sherali Zeadally and Mohamad Badra and Stefano Giordano and Maria Fazio and Andrey Somov and Radu-Laurentiu Vieriu},
 booktitle    = {Internet of Things. IoT Infrastructures: Second International Summit, IoT 360$^\circ$ 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II},
 publisher    = {Springer International Publishing},
 pages        = {313--319},
 doi          = {10.1007/978-3-319-47075-7_35},
)
@inproceedings(NokovicSekerinski17Tags,
 author       = {Bojan Nokovic and Emil Sekerinski},
 year         = {2017},
 title        = {Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application},
 editor       = {Anca Molnos and Christian Fabre},
 booktitle    = {Model-Implementation Fidelity in Cyber Physical System Design},
 publisher    = {Springer International Publishing},
 pages        = {175--199},
 doi          = {10.1007/978-3-319-47307-9_7},
)
@incollection(Sekerinski09StateInvariants,
 author       = {Emil Sekerinski},
 year         = {2009},
 title        = {Design Verification with State Invariants},
 editor       = {Kevin Lano},
 booktitle    = {UML 2 Semantics and Applications},
 publisher    = {John Wiley \& Sons},
 pages        = {317--347},
 doi          = {10.1002/9780470522622},
 url          = {http://onlinelibrary.wiley.com/doi/10.1002/9780470522622.ch13/summary},
)