Software Development Process From Natural Language Specification
Maintaining knowledge about temporal intervals