Günther Ruhe Decision Processes for Trustworthy Software. 2 2009 ICSP http://dx.doi.org/10.1007/978-3-642-01680-6_2 conf/ispw/2009 db/conf/ispw/icsp2009.html#Ruhe09