@article{sampaio_courtiat_2004,  title={An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents},  volume={9},  ISSN={0104-6500},  url={https://doi.org/10.1590/S0104-65002004000100004},  DOI={10.1590/S0104-65002004000100004},  number={3},  journal={Journal of the Brazilian Computer Society},  publisher={Sociedade Brasileira de Computação},  author={Sampaio, Paulo N.M. and Courtiat, Jean-Pierre},  year={2004},  month={Apr},  pages={39–51} }