Edited by Tommaso Cucinotta and Julio Medina 4 th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems July 9th, 2013, Paris, France In conjunction with: The 25th Euromicro Conference on Real-Time Systems (ECRTS 2013) c Copyright 2013 by the authors