ASIC-in-the-loop methodology for verification of piecewise affine controllers | Publicación