2013 25th Euromicro Conference on Real-Time Systems