Brijesh DongolBooksSoftware Engineering for RoboticsFormal Methods TeachingIntegrated Formal MethodsAuthor data: Open Library