Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.