ADA, a well suited language for specification and implementation of protocols