Template K: Requirements Specification Document