ASTRO: An integrated environment for dependability and sustainability evaluation