Stav dette: Logical systems for industrial applications /