Jennifer Tenzer Perdita Stevens On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. 397-420 2006 18 Formal Asp. Comput. 4 http://dx.doi.org/10.1007/s00165-006-0003-6 db/journals/fac/fac18.html#TenzerS06