AOSD paper updated to final version