Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving | IEEE Conference Publication | IEEE Xplore