Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. - Matthieu Lemerre; Emmanuel Ohayon; Damien Chabrol; Mathieu Jan; Marie-Bénédicte Jacques (ISORC Workshops, 2011)