André Arnold Gérald Point Alain Griffault Antoine Rauzy The AltaRica Formalism for Describing Concurrent Systems. 109-124 1999 40 Fundam. Inform. 2-3 db/journals/fuin/fuin40.html#ArnoldPGR99