Design By Contract (DBC) for embedded C and C++ - View it on GitHub