The paper "Four Exercises in Programming Dynamic Recongurable Systems: Methodology and Solution in DR-BIP" has been accepted for publication in the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2018). The paper will be presented next week at the symposium, which will be held in Limassol, Cyprus, from 05 to 09 November 2018.
Replies