Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems