A multi formalisms prototyping approach from formal description to implementation of distributed systems | IEEE Conference Publication | IEEE Xplore