by Garcia, D.C., Cengarle, M.V., Szasz, N.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)