Simplifying Boolean Expressions in GTRL | part of Learning in Embedded Systems | MIT Press books | IEEE Xplore