UMLs Contracts and Actors Architecture Workflows Nominal Nominal+TEE Boost Nominal vs Boost vs Nominal TEE: From Match to Finalize Nominal Boost Nominal TEE