cover_letter.txt

Dear Editors and Reviewers,

We submit for your review an article entitled "High-level
asynchronous concepts at the interface between analogue and
digital worlds", for the Special Issue on Circuit and System
Design Automation for Internet of Things.

A previous version of this article was submitted to, and presented
at the 13th ACM-IEEE International Conference on Formal Methods and
Models for System Design - MEMOCODE'15 conference. This version is
available from http://ieeexplore.ieee.org/document/7340478/, and 
included in this submission.

The additions to the submitted article from the conference paper are
as follows:

* A motivating example, explaining a buck converter controller and
discussing the existing monolithic design flow used for this.

* An introduction to interface concepts, a specification for signal
types composable with all other concepts.

* A new section discussing interoperability with STG based tools. This
details an algorithm to translate concepts into STGs, and discusses
the overall design flow when using concepts.

* Updated concept specifications for the case study, which are included
as examples in the concept translation tool, and use the most up to
date concepts, as described in this article.

* An updated section on synthesis of a speed-independent controller,
as part of the case-study. Included is more possible types synthesis,
the implementation, and their benefits.

* An expanded section on related work.

We thank you in advance for any comments you may give.

Yours sincerely,

Jonathan Beaumont, Andrey Mokhov, Danil Sokolov and Alex Yakovlev