Silky Arora, Ambar A. Gadkari, S. Ramesh. Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. Embedded Systems Letters, 3(2):62-65, 2011. [doi]
@article{AroraGR11,
title = {Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors},
author = {Silky Arora and Ambar A. Gadkari and S. Ramesh},
year = {2011},
doi = {10.1109/LES.2011.2127445},
url = {http://doi.ieeecomputersociety.org/10.1109/LES.2011.2127445},
researchr = {https://researchr.org/publication/AroraGR11},
cites = {0},
citedby = {0},
journal = {Embedded Systems Letters},
volume = {3},
number = {2},
pages = {62-65},
}