Documentation for embedded software