@misc{indiciae6bdff35745f3,
  title = {Environment Modeling Using Runtime Values for JPF-Android},
  author = {van der Merwe, Heila and Tkachuk, Oksana and Nel, Seal and van der Merwe, Brink and Visser, Willem},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160000935},
  note = {Source identifier: 20160000935}
}