Foreword. Preface. 1. Introduction. 2. Related Work. 3. System Modeling. 4. Constraint Analysis. 5. Software and Runtime Environment....