EEMCS

Broenink, J.F. and Larsen, P.G and Verhoef, M. and Kleijn, C. and Jovanović, D.S. and Pierce, K. and Wouters, F. (2010) Design Support and Tooling for Dependable Embedded Control Systems. In: 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, 13-16 Apr 2010, London, UK. ACM. ISBN 978-1-4503-0289-0

Jovanović, D.S. (2006) Designing dependable process-oriented software - a CSP-based approach. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-82 ISBN 90-365-2334-6

Jovanović, D.S. and Broenink, J.F. (2005) Tools and Patterns for Dependable Concurrent Software. In: The International Conference on Computer as a Tool, EUROCON 2005, 21-24 Nov 2005, Belgrade. pp. 736-739. IEEE. ISBN 1-4244-0049-X

Jovanović, D.S. and Liet, G. and Broenink, J.F. (2005) A CSP-based trajectory for designing formally verified embedded control software. In: Proceedings 49th Conference on Electronic, Telecommunications, Computer science, Automatics, and Nuclear technique, ETRAN 2005, 5 - 10 Jun 2005, Budva, Montenegro. pp. 285-288. COBISS. ISBN 86-80509-53-1

Jovanović, D.S. and Orlic, B. and Broenink, J.F. (2005) On issues of constructing an exception handling mechanism for CSP-based process-oriented concurrent software. In: Proceedings of Communicating Process Architectures CPA 2005, 18-21 September 2005, Eindhoven. pp. 29-41. Concurrent Systems Engineering Series 63. IOS Press. ISBN 1-58603-561-4