"Gabriela Nicolescu is an associate professor in the Department of Computer Engineering at A""cole Polytechnique Montreal in Canada. Pieter J. Mosterman is a senior research scientist in the Design Automation department of MathWorks in Natick, Massachusetts, and an adjunct professor at the School of Computer Science of McGill University in Montreal, Canada."