Author: NATO Advanced Study Institute on Models, Algebras, and Logic of Engineering Software (2002 Marktoberdorf, Germany)