@InProceedings{FS12-TIME12, author = {Carlo A. Furia and Paola Spoletini}, title = {Automata-based Verification of Linear Temporal Logic Models with Bounded Variability}, booktitle = {Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME'12)}, editor = {Ben Moszkowski and Mark Reynolds and Paolo Terenziani}, pages = {89--96}, year = {2012}, month = {September}, publisher = {IEEE Computer Society}, urltopdf = {http://se.inf.ethz.ch/people/furia/pubs/time12.pdf}, acm = {http://doi.ieeecomputersociety.org/10.1109/TIME.2012.13} }