Features contributions by academic & industrial research groups which are structured into four parts on: static analysis to acquire insight into how the system is supposed to work; testing techniques to sample its actual behavior; monitoring to probe its operational performance; & nonfunctional requirements like reliability & trust.