Using formalized temporal message‐flow diagramsWayne CitrinAlistair Cockburnet al.1995Software: Practice and Experience
A distributed development environment for embedded softwareShin‐Yuan TzouJyh‐Jang Limet al.1993Software: Practice and Experience