Checking safety properties on-the-fly with the sweep-line method. Gallasch, G. E., Billington, J., Vanit-Anunchai, S., & Kristensen, L. M. International Journal on Software Tools for Technology Transfer, 9(3-4):371–391, Springer-Verlag Berlin/Heidelberg, 2007. bibtex @article{gallasch2007checking,
title={Checking safety properties on-the-fly with the sweep-line method},
author={Gallasch, Guy Edward and Billington, Jonathan and Vanit-Anunchai, Somsak and Kristensen, Lars Michael},
journal={International Journal on Software Tools for Technology Transfer},
volume={9},
number={3-4},
pages={371--391},
year={2007},
publisher={Springer-Verlag Berlin/Heidelberg}
}