Property Preservation by Petri-Net-Based Refinements in System Design | IEEE Conference Publication | IEEE Xplore