Klaus Havelund Grigore Rosu Foreword. 211-212 2005 27 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-005-3397-5 db/journals/fmsd/fmsd27.html#HavelundR05