7.7. Realization of the models Notes | Digital Logics BEI-NEW | TU | TABFlux