Proceedings of the 12th Euromicro conference on Real-time systems