Margus VeanesColin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle (www.modeled-computation.com). His crrent interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems. Read More Read Less