Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems | IEEE Conference Publication | IEEE Xplore