Andreas Nonnengart Georg Rock Werner Stephan Formal Requirements Engineering Using Observer Models. 264-278 2002 conf/fase/2002 FASE http://link.springer.de/link/service/series/0558/bibs/2306/23060264.htm db/conf/fase/fase2002.html#NonnengartRS02