System verification and testing : workbook / course team dr. F. Verbeek, dr. N. van Vugt-Hage ; editor John ArkenboutSystem verification and testing : workbook / course team dr. F. Verbeek, dr. N. van Vugt-HageProcesmodelleren : werkboek / cursusteam dr. F. Verbeek, cursusteamleiding en auteur, dr. J.C.S.P. van der Woude, auteur, dr. M. Voorhoeve, auteur, dr. E. Roubtsova, auteur ; redeactie Arnold van Leer