Title: Knowledge-based support for embedded computer software analysis and design