Knowledge-based support for embedded computer software analysis and design | lit.salon