Seidner, Roux, 2008. Formal Methods for Systems Engineering Behavior Models.. https://doi.org/10.1109/tii.2008.2008998