Zaslat SMS: Engineering theories of software intensive systems