@conference{Schulz:2002rt,
Address = {Lund, Sweden},
Author = {Schulz, S. and Rozenblit, J.W.},
Booktitle = {Proc. of the 2002 IEEE Conference on Engineering of Computer-Based Systems},
Month = {April},
Pages = {159-166},
Title = {Refinement of Model Specifications in Embedded Systems Design},
Year = {2002}}