Vesda System Design Manual