Environment modeling and simulation for automated testing of soft real-time embedded software | Publicación