@inproceedings{MD:07,
  author = {Gabor Madl and Nikil Dutt},
  title = {{Real-time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking}},
  booktitle = {{Ph.D. Forum, the 28th IEEE International Real-Time Systems Symposium}},
  year = {2007},
  month = {December}
}