@inproceedings{618,
  author = {Ethan Jackson and Janos Sztipanovits},
  title = {Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality},
  year = {2006},
  journal = {13th Annual IEEE International Conference on the Engineering of Computer Based Systems},
  month = {March},
  address = {Potsdam, Germany},
  language = {eng},
}