Tuya, J., Sánchez, L., & Corrales, J. A. (1995). Using a symbolic model checker for verify safety properties in SA/RT models (W. Schäfer & P. Botella, Eds.). Berlin, Heidelberg: Springer Berlin Heidelberg.
