1. bloomberg/bqplot: Plotting library for IPython/Jupyter Notebooks. Available at [Online; accessed 25-May-2018].
  2. Fuzz typechecker for Z. Available at [Online; accessed 25-May-2018].
  3. The Haskell 98 Report: Literate Comments. Available at [Online; accessed 25-May-2018].
  4. How to Write Doc Comments for the Javadoc Tool. Available at [Online; accessed 25-May-2018].
  5. Jupyter Notebook EPTCS Style Exporter. Available at [Online; accessed 25-May-2018].
  6. jupyter-widgets/ipywidgets: Interactive widgets for the Jupyter Notebook. Available at [Online; accessed 25-May-2018].
  7. jupyterlab/jupyterlab: JupyterLab computational environment. Available at [Online; accessed 25-May-2018].
  8. matplotlib/jupyter-matplotlib: Matplotlib Jupyter Extension. Available at [Online; accessed 25-May-2018].
  9. A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper) - Source Notebook. Available at [Online; accessed 25-May-2018].
  10. Overview of Basic Features - Maple Programming Help. Available at [Online; accessed 25-May-2018].
  11. Project Jupyter. Available at [Online; accessed 25-May-2018].
  12. React - A JavaScript library for building user interfaces. Available at [Online; accessed 25-May-2018].
  13. Redux. Available at [Online; accessed 25-May-2018].
  14. TypeScript - JavaScript that scales. Available at [Online; accessed 25-May-2018].
  15. Ulix OS – The Literate Operating System. Available at [Online; accessed 25-May-2018].
  16. Wolfram Language & System Documentation Center. Available at [Online; accessed 25-May-2018].
  17. Bruno Dutertre (2014): Yices 2.2. In: Armin Biere & Roderick Bloem: Computer-Aided Verification (CAV'2014), Lecture Notes in Computer Science 8559. Springer, pp. 737–744, doi:10.1007/978-3-319-08867-9_49. Available at
  18. Christopher W. Fraser & David R. Hanson (1995): A Retargetable C Compiler: Design and Implementation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA. Available at
  19. Konstantinos G. Kakoulis & Ioannis G. Tollis (1997): An algorithm for labeling edges of hierarchical drawings. In: Giuseppe DiBattista: Graph Drawing. Springer, Berlin, Heidelberg, pp. 169–180, doi:10.1007/3-540-63938-1_60.
  20. Andreas Klein (2013): Stream Ciphers. Springer, London, doi:10.1007/978-1-4471-5079-4.
  21. Thomas Kluyver, Benjamin Ragan-Kelley, Fernando Pérez, Brian E Granger, Matthias Bussonnier, Jonathan Frederic, Kyle Kelley, Jessica B Hamrick, Jason Grout & Sylvain Corlay (2016): Jupyter Notebooks-a publishing format for reproducible computational workflows.. In: F. Loizides & B. Schmidt: Positioning and Power in Academic Publishing: Players, Agents and Agendas. IOS Press, pp. 87–90, doi:10.3233/978-1-61499-649-1-87.
  22. Donald E. Knuth (1984): Literate programming. Computer Journal 27(2), pp. 97–111, doi:10.1093/comjnl/27.2.97.
  23. Donald E. Knuth (1986): Computers and Typesetting Volume B: TeX: The Program. Addison-Wesley Professional.
  24. Marta Kwiatkowska, Gethin Norman & David Parker (2011): PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification, Lecture Notes in Computer Science 6806. Springer, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  25. Nedialko S. Nedialkov (2006): VNODE-LP — A Validated Solver for Initial Value Problems in Ordinary Differential Equations. Technical Report CAS-06-06-NN. Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada. Available at
  26. Bojan Nokovic (2016): Verification and Implementation of Embedded Systems from High-Level Models. Ph.D. Thesis. McMaster University, Hamilton, Ontario, Canada.
  27. Bojan Nokovic & Emil Sekerinski (2013): pState: A Probabilistic Statecharts Translator. In: Radovan Stojanovi\'c, Lech Jóżwiak & Budimir Lutovac: Embedded Computing (MECO), 2nd Mediterranean Conference on. IEEE Press, pp. 29–32, doi:10.1109/MECO.2013.6601339.
  28. Bojan Nokovic & Emil Sekerinski (2014): Verification and Code Generation for Timed Transitions in pCharts. In: Bipin C. Desai: C3S2E '14: Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering. ACM, pp. 3:1–3:10, doi:10.1145/2641483.2641522.
  29. Bojan Nokovic & Emil Sekerinski (2015): A Holistic Approach in Embedded System Development. In: Catherine Dubois, Paolo Masci & Dominique Méry: Proceedings Second International Workshop on Formal Integrated Development Environment, Electronic Proceedings in Theoretical Computer Science 187. Open Publishing Association, pp. 72–85, doi:10.4204/EPTCS.187.6. Available at
  30. Bojan Nokovic & Emil Sekerinski (2015): Model-based WCET Analysis with Invariants. In: Gudmund Grov & Andrew Ireland: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, AVoCS 2015, Electronic Communications of the EASST 72. European Association of Software Science and Technology, pp. 1–15, doi:10.14279/tuj.eceasst.72.1026.
  31. Bojan Nokovic & Emil Sekerinski (2016): Automatic Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. In: Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360^2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II. Springer International Publishing, pp. 313–319, doi:10.1007/978-3-319-47075-7_35.
  32. Bojan Nokovic & Emil Sekerinski (2017): Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application. In: Anca Molnos & Christian Fabre: Model-Implementation Fidelity in Cyber Physical System Design. Springer International Publishing, pp. 175–199, doi:10.1007/978-3-319-47307-9_7.
  33. Emil Sekerinski (2009): Design Verification with State Invariants. In: Kevin Lano: UML 2 Semantics and Applications. John Wiley & Sons, pp. 317–347, doi:10.1002/9780470522622. Available at

Comments and questions to:
For website issues: