Fundamenta Informaticae Special Issue with Selected Papers from ASM'05