Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers - Aichernig, Bernhard K.; Aichernig, Bernhard K.; Maibaum, Tom; Maibaum, Tom (Springer Berlin Heidelberg : Imprint: Springer, 2003)