Cited By
View all- Yeolekar AMetta RHobbs CChakraborty S(2022)Checking Scheduling-Induced Violations of Control Safety PropertiesAutomated Technology for Verification and Analysis10.1007/978-3-031-19992-9_7(100-116)Online publication date: 25-Oct-2022