Contracts design pattern in C

Question

Is there a library/framework/article that describes ways to use contracts in C I mean code that is more then obvious asserts

for example somting like: Programming with Contracts in C++

but for C

Answer 1

I do DbC as described here by Samek.

http://www.barrgroup.com/Embedded-Systems/How-To/Design-by-Contract-for-Embedded-Software