Formal checking of properties in complex systems using abstractions | IEEE Conference Publication | IEEE Xplore