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