Table-based formal specification approaches for control engineers—empirical studies of usability

@article{ChaVogelHeuserWeigl2021_1000133867,
    author       = {Suhyun Cha and Birgit Vogel-Heuser and Alexander Weigl and
                    Mattias Ulbrich and Bernhard Beckert},
    year         = {2021},
    title        = {Table-based formal specification approaches for control
                    engineers—empirical studies of usability},
    journal      = {IET Cyber-Physical Systems: Theory and Applications},
    doi          = {10.1049/cps2.12017},
    publisher    = {{IET, the Institution of Engineering and Technology}},
    issn         = {2398-3396},
    language     = {english},
    month        = may
}