A General Framework for Analysing System Properties in Platform-Based Embedded System Designs