SPOT: An extensible model checking library using transition-based generalized Buchi automata. (2004)

by A Duret-Lutz, D Poitrenaud
Venue:Modeling, Analysis, and Simulation of Computer Systems