High-Level Analysis of the Impact of Soft-Faults in Cyberphysical Systems