Some elementary questions on software quality control. - Jacco H. Wesselius; Frans Ververs (Softw. Eng. J., 1990)

Modeling Architectural Value: Cash Flow, Time and Uncertainty. - Jacco H. Wesselius (SPLC, 2005)

Strategic Scenario-Based Valuation of Product Line Roadmaps. - Jacco H. Wesselius (Software Product Lines, 2006)

The Bazaar inside the Cathedral: Business Models for Internal Markets. - Jacco H. Wesselius (IEEE Softw., 2008)

Analyzing the effects of formal methods on the development of industrial control software. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (ICSM, 2011)

Analyzing a Controller of a Power Distribution Unit Using Formal Methods. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (ICST, 2012)

Experience report on developing the Front-end client unit under the control of formal methods. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (SAC, 2012)

Incorporating Formal Techniques into Industrial Practice: an Experience Report. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jacco H. Wesselius (FESCA, 2012)