Felice Balarin, Alberto L. Sangiovanni-Vincentelli. An Iterative Approach to Verification of Real-Time Systems. Formal Methods in System Design, 6(1):67-95, 1995.
@article{BalarinS95,
title = {An Iterative Approach to Verification of Real-Time Systems},
author = {Felice Balarin and Alberto L. Sangiovanni-Vincentelli},
year = {1995},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/BalarinS95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {1},
pages = {67-95},
}