VAMOS monitors Manually written monitors for VAMOS for testing and debugging purposes. https://github.com/ista-vamos/vamos