Lightweight tool coordination: Path∗ — A minimal framework for tool coordination | IEEE Conference Publication | IEEE Xplore