Where can someone be started with this kind of programming? System verification etc, books? youtube lectures?