SMS: Analysis of linear systems