On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress) | IEEE Conference Publication | IEEE Xplore