Components with Symbolic Transition Systems: A Java Implementation of Rendezvous