This article has been published in the
Computer & Automation
magazine: