The Design of a Multicore Extension of the SPIN Model Checker. - Holzmann, Gerard J.; Bosnacki, Dragan (IEEE Transactions on Software Engineering, 2007)