Exemplary development & validation of a practical specification language for semantic interfaces of automotive software components (FAT)