1 Table of Contents: ... Terminology and Assumptions -- 2.1 Task Models, Assumptions and Notation -- 2.2 Static versus Dynamic...