Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models | IEEE Conference Publication | IEEE Xplore