Finding Narrow Input/Output (NIO) Sequences by Model Checking | IEEE Conference Publication | IEEE Xplore