Integrity checking of 1149.4 extensions to 1149.1 - Felgueiras, Carlos (2006)