%0 Journal Article
%T Functional verification of distributed automation systems
%A Zeller, Andreas
%A Jazdi, Nasser
%A Weyrich, Michael
%J The International Journal of Advanced Manufacturing Technology
%V 105
%N 9
%P 3991-4004
%@ 0268-3768
%D 2019-07-03
%I Springer London
%~ DeepDyve