Model-based Software Testing and Analysis with C? | lit.salon