Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan: Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401