A Support System to Develop Procedures for Shipboard Operations and Emergency Situations