Expanded the theoretical introduction + added STMTest project