Visible to the public Verification from Simulations and Modular AnnotationsConflict Detection Enabled