Simulation-based verification of system requirements: An integrated solution | IEEE Conference Publication | IEEE Xplore