“Nondeterministic update of CTL models by preserving satisfaction through protections”
Miguel Carrillo and David A. Rosenblueth
Instituto de Investigaciones en Matemáticas y en Sistemas
Universidad Nacional Autónoma de México
Apdo. 20-726, 01000 México D.F.
México