Bibtex:

@inproceedings{erts2012,
  AUTHOR    = { He, Nannan
                and Kroening, Daniel
                and Wahl, Thomas
                and Lau, Kung-Kiu
                and Taweel, Faris
                and Tran, Cuong M. 
                and R{\"u}mmer, Philipp
                and Sharma, Sanjiv S. },
  TITLE     = { Component-based Design and Verification in {X-MAN} },
  BOOKTITLE = { Embedded Real Time Software and Systems (ERTS2) },
  YEAR      = { 2012 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.