High-integrity system specification and design | lit.salon