Preface Authors Marieke Huisman University of Twente Jaco van de Pol University of Twente DOI: https://doi.org/10.14279/tuj.eceasst.70.972 Downloads PDF Published 2014-11-18 Issue Vol. 70 (2014): Automated Verification of Critical Systems 2014 Section Preface