Changes in Requirements Specification due to comments from
Prof. Feldsberg.