Runtime verification of nonlinear analog circuits using incremental Time-augmented RRT algorithm | IEEE Conference Publication | IEEE Xplore