Automated Configuration of Verification Environments using SpecmanMacros Author(s): Milos Mirosavljevic, Ron Sela, Dejan Janjic and Efrat Shneydor Download