Projects https://www.lapes.ufscar.br/projects-and-events https://www.lapes.ufscar.br/@@site-logo/lapesLogo.png Projects Validation-of-Smart-City-Applications Validation of Smart City Applications: A Fault-Based Approach