Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations between UML and Petri Net Models