system design models and tools