Mahesh ViswanathanBooksFormal Techniques for Distributed Objects, Components, and SystemsAutomated Technology for Verification and AnalysisMeasurement Error and Research DesignAuthor data: Open Library