Afonso Sales, Brigitte Plateau. Reachable state space generation for structured models which use functional transitions.
Proceedings of the 6th International Conference on the Quantitative Evaluation of Systems (QEST'09), 2009, Budapest, Hungary. pp.269-278,
⟨10.1109/QEST.2009.29⟩.
⟨hal-00788913⟩