Requirements Engineering. - Thomas Bieser; Hendrik Fürstenau; Stephan Otto; Daniel Weiß 001 (Multiagent Engineering, 2006)

From Testing to Theorem Proving. - Ingo J. Timm; Thorsten Scholz; Hendrik Fürstenau (Multiagent Engineering, 2006)