iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/TSE.2005.131
A scenario-matching approach to the description and model checking of real-time properties | IEEE Journals & Magazine | IEEE Xplore
