Modifying LOTOS specifications by means of automatable formula-based integrations