formal methods to agent-based systems are included, plus formal method tools &