Model checking concurrent linux device drivers - Witkowski, T; Blanc, N; Kroening, D; Weissenbacher, G (ASE '07 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, 2007)