Towards an integrated system model for testing and verification of automation machines.

Benjamin Hummel, Peter Braun

Browse the full ICSE paper archive.