On Approximation Intractability of the Bandwidth Problem - Gunter Blache; Marek Karpinski; Juergen Wirtgen (Electron. Colloquium Comput. Complex., 1998)

Handling index-out-of-bounds in safety-critical embedded C code using model-based development. - Gunter Blache (Softw. Syst. Model., 2019)