Systems integration and verification in an advanced smart factory. - George L. Ball; Christopher (Kit) Runge; Randy Ramsey; Nicholas Barrett (SysCon, 2017)