A new perspective on formal testing method for real-time software | IEEE Conference Publication | IEEE Xplore