Title: Multi-valued symbolic model-checking
First published: 2003