2 works on record
From Software Engineering to Formal Methods and Tools, and Back
Software Engineering for Resilient Systems