Preface Authors Markus Roggenbach DOI: https://doi.org/10.14279/tuj.eceasst.23.304 Downloads PDF Published 2009-12-17 Issue Vol. 23 (2009): Automated Verification of Critical Systems 2009 Section Preface