Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies