@misc{1099,
  author = {Joseph Porter and Graham Hemingway and Nicholas Kottenstette and Harmon Nine and Chris vanBuskirk and Gabor Karsai and Janos Sztipanovits},
  title = {New Developments in Model-Integrated Development of High-Confidence Software},
  year = {2010},
  journal = {Safe and Secure Systems & Software Symposium},
  month = {06/2010},
}