Specification of distributed systems with a combination of graphical and formal languages | IEEE Conference Publication | IEEE Xplore