Manfred Broy 719-720 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201259 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201259 http://dl.acm.org/citation.cfm?id=776921 db/conf/icse/icse2003.html#Broy03