TY  - JOUR 
T1  - An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents
JO  - Journal of the Brazilian Computer Society
A1  - Sampaio, Paulo N.M.
A1  - Courtiat, Jean-Pierre
SN  - 0104-6500
UL  - 10.1590/S0104-65002004000100004
VL  - 9 
Y1  - 2004
PB  - Brasil 
ER  -