Model Checking Concurrent Linux Device Drivers - Witkowski, T; Blanc, N; Weissenbacher, G; Kroening, D (22nd IEEE International Conference on Automated Software Engineering (ASE), 2007)