Title: Applications of formal methods in engineering