Artificial neural networks (ANNs) are increasingly being used within safety-critical cyber-physical systems (CPSs). It is important to validate both the timing and functional correctness of these systems. However, most approaches in literature consider guaranteeing only functionality ANN-based controllers. This issue stems largely from implementation strategies common network frameworks-their u...