@InProceedings{Garlan2005,
      AUTHOR = {Garlan, David and Reinholtz, William K. and Schmerl, Bradley and Sherman, Nicholas and Tseng, Tony},
      TITLE = {Bridging the Gap between Systems Design and Space Systems Software},
      YEAR = {2005},
      MONTH = {6-7 April},
      BOOKTITLE = {Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW-29)},
      ADDRESS = {Greenbelt, MD},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/sew-final.pdf},
      ABSTRACT = {A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by software engineers. In this paper we describe our experience working with NASA engineers to develop an approach and toolset for automating the generation of space systems software from architectural specifications. Our experience shows that it is possible to leverage the space systems domain, formal architectural specifications, and component technology to provide retargetable code generators for this class of software.},
      KEYWORDS = {Acme, Software Architecture}
}