The paper reports on the industrial application of SystemC AMS for semi-symbolic analysis. As a case study we analyze the accuracy of a fuel consumption measurement system. As results, two approaches are presented that make formal and symbolic methods more accessible for industrial practice: (1) integration of symbolic simulation into SystemC AMS, which makes the application similar to the established concrete simulation, and (2) uncertainty tables to further simplify the remaining symbolic modeling of inputs and constraints.