Parallel assignments in software model checking - Ouaknine, J (Electronic Notes in Theoretical Computer Science, 2006)