Detecting energy bugs and hotspots in control software using model checking. - Pascal van Gastel; Bernard van Gastel; Marko C. J. D. van Eekelen (Programming, 2018)

Data Processing Diagrams - A Modeling Technique for Privacy in Complex Data Processing Systems. - Job Doesburg; Pascal van Gastel; Bernard van Gastel; Erik Poll (Privacy and Identity Management, 2024)