Int. J. Embedded Systems, Vol. x, No. x, xxxx 1 Copyright c  201X Inderscience Enterprises Ltd.