Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++.