@ARTICLE {2552, author={A. Sernadas and C. Sernadas and J. Ramos}, doi={}, journal={Data and Knowledge Engineering}, title={A Temporal Logic Approach to Object Certification}, year={1996}, month={January}, volume={19}, number={-}, pages={267-294}, ISSN={0169-023X} }Create and download bib file