From Formalization to Implementation of OSI Entities