@misc{indiciae94356117c714,
  title = {Integrated Modeling and Development of Component-Based Embedded Software in Scala},
  author = {Bocchino, Robert and Havelund, Klaus},
  year = {2020},
  url = {https://ntrs.nasa.gov/citations/20230005713},
  note = {Source identifier: 20230005713}
}