Package ptolemy.domains.csp.demo.BusContention