Model-based specification, analysis and synthesis of servo controllers for lithoscanners. - Ramon R. H. Schiffelers; Wilbert Alberts; Jeroen Voeten (MPM@MoDELS, 2012)

Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice. - Zijun Chen; Wilbert Alberts; Ivan Kurtev (STAF Workshops, 2021)