Immo Grabe Mohammad Mahdi Jaghoori Joachim Klein Sascha Klüppelholz Andries Stam Christel Baier Tobias Blechmann Bernhard K. Aichernig Frank S. de Boer Andreas Griesmayer The Credo Methodology - (Extended Version). 41-69 2009 FMCO http://dx.doi.org/10.1007/978-3-642-17071-3_3 conf/fmco/2009 db/conf/fmco/fmco2009.html#GrabeJKKSBBABG09