S. Schulz, Jerzy W. Rozenblit. Refinement of Model Specifications in Embedded Systems Design. In 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. pages 159-166, IEEE Computer Society, 2002. [doi]
Abstract is missing.