Asyl/EFSM : a language for specification of protocols and computers