@misc{indiciae42db83b99785,
  title = {Modeling and Analysis of Mixed Synchronous/Asynchronous Systems},
  author = {Driscoll, Kevin R. and Madl. Gabor and Hall, Brendan},
  year = {2012},
  url = {https://ntrs.nasa.gov/citations/20120014281},
  note = {Source identifier: 20120014281}
}