Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors | IEEE Journals & Magazine | IEEE Xplore