FSCBS 2005, 6th IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems