ARAMIS 2008 International workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems | IEEE Conference Publication | IEEE Xplore