A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example | IEEE Conference Publication | IEEE Xplore