https://profilbaru.com/fr/Ada_Semantic_Interface_Specification