A Necessary Test for Fixed-Priority Real-Time Multiprocessor Systems based on Lazy-adversary Simulation Topics: Computer Simulation Techniques; Real-Time Systems In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications SIMULTECH - Volume 1, 321-329, 2014 , Vienna, Austria