@incollection{Santos08,
author = {Jorge Santos and Zita Vale and Carlos Serôdio and Carlos Ramos},
title = {The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems},
booktitle = {Robotics, Automation and Control},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Pavla Pecherkova and Miroslav Flidr and Jindrich Dunik},
chapter = {24},
doi = {10.5772/5835},
url = {https://doi.org/10.5772/5835}
}