Safe By Design: Examples Of Formal Methods In Software Engineering