@misc{indiciaed50193ee15d2,
  title = {Developing Experimental Models for NASA Missions with ASSL},
  author = {Emil Vassev and Mike Hinchey},
  year = {2010},
  doi = {10.4204/eptcs.20.10},
  url = {https://arxiv.org/abs/1003.0396},
  note = {Source identifier: 1003.0396}
}