Formal Requirements Toolkit