@INPROCEEDINGS
{kannas:charme2001,
AUTHOR = "Kanna Shimizu and David L. Dill and Ching-Tsun Chou",
TITLE = "A {Specification} {Methodology} by a {Collection} of {Compact} 
{Properties} as {Applied} to the {Intel} {Itanium} {Processor} {Bus}
{Protocol}",
BOOKTITLE = "Correct Hardware Design and Verification Methods: 11th IFIP WG
10.5 Advanced Research Proceedings",
MONTH = "September",
YEAR = "2001",
LOCATION = "Livingston, Scotland"
}