An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems | IEEE Conference Publication | IEEE Xplore