Upper and Lower Bound approach for the verification of isolated buildings at the base with curved sliding surface devices