Property Preservation and Composition with Guarantees: From ASSERT to CHESS | IEEE Conference Publication | IEEE Xplore