Safety-critical Systems Symposium Proceedings | The Based Reader App