Amílcar Sernadas Cristina Sernadas Jaime Ramos A Temporal Logic Approach to Object Certification. 267-294 1996 19 Data Knowl. Eng. 3 db/journals/dke/dke19.html#SernadasSR96 http://dx.doi.org/10.1016/0169-023X(96)00004-3