Text this: Symbolic control analysis of cellular systems