Introduction to digital systems design - Donzellini, Giuliano; Oneto, Luca; Ponta, Domenico; Anguita, Davide (Springer, 2019)