Formalisation of a Production System Modelling Language The operational semantics of c Core. - Victor Bos; J. J. T. Kleijn (Fundam. Informaticae, 2000)

Redesign of a Systems Engineering Language: Formalisation of X. - Victor Bos; J. J. T. Kleijn (Formal Aspects Comput., 2003)

Declaration of unknowns in DAE-based hybrid system specification. - D. A. van Beek; Victor Bos; Jacobus E. Rooda (ACM Trans. Model. Comput. Simul., 2003)

Time and Space Partitioning Using On-Board Software Reference Architecture. - Victor Bos; Timo Vepsäläinen; Yuliya Prokhorova; Timo Latvala (ISSRE Workshops, 2016)

Catalogue of System and Software Properties. - Victor Bos; Harold Bruintjes; Stefano Tonetta (SAFECOMP, 2016)