Text this: A study on the applicability of symbolic computation in stabilising control design for switched systems