Joost-Pieter Katoen

David N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts, Sixth International Conference on the Unified Modeling Language - the Language and its applications, 2003, (BibTeX entry).
Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems, Kluwer Academic Publishers, 2000, (BibTeX entry).

dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)