and Applications -- Compositional Reactive Semantics of SystemC and Verification with