@inproceedings{ZimmerEtAl:2014,
 author = "Michael Zimmer and David Broman and Chris Shaver and Edward A. Lee",
 title = "{FlexPRET: A Processor Platform for Mixed-Criticality Systems}",
 booktitle = "Proceedings of the 20th IEEE Real-Time and Embedded
                  Technology and Application Symposium (RTAS)",
 year = "2014",
 pages = {101--110},
 publisher = "IEEE",
}