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