25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5054-1