Better Embedded System Software