Stephan Schulz, Jerzy W. Rozenblit: Refinement of Model Specifications in Embedded Systems Design. ECBS 2002: 159-166