1 Introduction

2 Extracting Goals and Requirements from News Clips
2.1 Epidemiological and Health-Related Concerns
2.2 Economic and Social Impact
2.3 Ethical and Legal Aspects
2.4 Privacy and Data Protection
2.5 User-Related Aspects
2.6 Technological Aspects
2.7 Evaluation and Learning for the Future

3 Towards Formal Specification
3.1 Temporal and Epistemic Properties
3.2 Strategic Requirements
3.3 Probabilistic Extensions
3.4 Meta-Properties
3.5 Towards Formal Analysis

4 Conclusions