Title: Extension of PASCAL-S to include a rendezvous facility