System and contract examples for the ACTIVE tool.