Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study | IEEE Conference Publication | IEEE Xplore